("x" = "x" $\sim$ true$_{2}$) \& ("x" = "y" $\sim$ false$_{2}$)